21. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
22. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2003
23. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
24. Discrete mathematics and its applications
پدیدآورنده : Rosen, Kenneth H.
کتابخانه: (طهران)
موضوع : ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
2
.
R67D5
2007
25. Discrete mathematics and its applications with combinatorics and graph theory
پدیدآورنده : Rosen, Kenneth H,Kenneth H Rosen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics,، Computer science - Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
2
.
R6D5
2007
26. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
27. Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,، Computer science -- Mathematics
رده :
QA
9
.
25
.
E57D5
28. Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
2006
29. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
30. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
31. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
32. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
33. Discrete structures with contemporary applications
پدیدآورنده : Stanoyevitch, Alexander
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical,، Probabilities
رده :
QA
76
.
9
.
M35S72
34. Finite automata, formal logic, and circuit complexity
پدیدآورنده : / Howard Straubing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
رده :
QA76
.
9
.
M35
,
S77
1994
35. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: (طهران)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
36. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
37. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
38. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
39. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002